181. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
182. Symbolic and numerical scientific computation
پدیدآورنده : / Franz Winkler, Ulrich Langer (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Differential equations--Numerical solutions--Congresses,Numerical calculations--Congresses,Algebra--Data processing--Congresses
رده :
QA
,
370
,.
S67
,
2001
183. Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers
پدیدآورنده : Franz Winkler, Ulrich Langer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Differential equations -- Numerical solutions,Congresses ، Numerical calculations,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2630
184. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده : edited by Manfred Kerber and Michael Kohlhase
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
185. Symbolic computation and automated reasoning: the CALCULEMUS-2000 Symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
186. Symbolic computation, number theory, special functions, physics, and combinatorics
پدیدآورنده : edited by Frank G. Garvan and Mourad E. H. Ismail
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis
رده :
QA
295
.
S97
187. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000
پدیدآورنده : Edward L. Green ... ]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions
رده :
QA
155
.
7
.
E4A488
2000
188. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
189. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
190. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
191. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
192. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
پدیدآورنده : edited by N. Inada, T. Soma
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4I58
1984
193. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
194. Topics in Computational Algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
195. Topics in computational algebra
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Algebra- Data processing- Congresses
رده :
QA
155
.
7
.
E4
T67
1990
196. Topics in computational algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo and E. Strickland
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4T64
197. Trees in algebra and programming
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C3
1986
198. Trees in algebra and programming, CAAP'96 : 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996 : proceedings
پدیدآورنده : Helene Kirchner )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1059
199. Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings
پدیدآورنده : Sophie Tison, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
787
200. Trees in algebra and programming : 8th Colloquium, L'Aquila, March 9-11, 1983: proceedings CAAP'83
پدیدآورنده : edited by G. Ausiello and M. Protasi
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
159
